
# set_attribute lib_search_path /CORE/PRJ/IP/Artisan_28/tsmc_cln28hpm/pop_library/sc12mc_base_lvt_c31/latest/lib
# set_attribute lib_search_path "/CORE/PRJ/IP/Mars/final/sasrlsmh4l1p256x72m2b1w0c1p0d0t0s10/ttqu0p9v25c"

  # /CORE/PRJ/IP/Artisan_28/tsmc_cln28hpm/pop_library/sc12mc_base_lvt_c31/latest/lib/sc12mc_cln28hpm_base_lvt_c31_tt_typical_max_0p90v_85c.lib
  # /ENV/PRJ/IP/Artisan_28/tsmc_cln28hpm/pop_library/sc12mc_hpk_lvt_c31/latest/lib/sc12mc_cln28hpm_hpk_lvt_c31_tt_typical_max_0p90v_85c.lib
  # /ENV/PRJ/IP/Mars/final/sasrlsmh4l1p256x86m2b2w0c1p0d0t0s10/ttqu0p9v25c/sasrlsmh4l1p256x86m2b2w0c1p0d0t0s10.lib
  # /ENV/PRJ/IP/Mars/final/sasrlsmh4l1p256x72m2b1w0c1p0d0t0s10/ttqu0p9v25c/sasrlsmh4l1p256x72m2b1w0c1p0d0t0s10.lib
  # /ENV/PRJ/IP/Mars/final/sasrlsmh4l1p512x8m4b1w1c0p0d0t0s10/ttqu0p9v25c/sasrlsmh4l1p512x8m4b1w1c0p0d0t0s10.lib
  # /ENV/PRJ/IP/Mars/final/sasrlsmh4l1p256x64m2b1w0c1p0d0t0s10/ttqu0p9v25c/sasrlsmh4l1p256x64m2b1w0c1p0d0t0s10.lib
  # /ENV/PRJ/IP/Mars/final/sasrlsmh4l1p128x108m2b1w1c1p0d0t0s10/ttqu0p9v25c/sasrlsmh4l1p128x108m2b1w1c1p0d0t0s10.lib
  # /ENV/PRJ/IP/Mars/final/sasrlsmh4l1p256x130m2b1w1c1p0d0t0s10/ttqu0p9v25c/sasrlsmh4l1p256x130m2b1w1c1p0d0t0s10.lib
  # /ENV/PRJ/IP/Mars/final/sasrlsmh4l1p256x78m2b1w1c1p0d0t0s10/ttqu0p9v25c/sasrlsmh4l1p256x78m2b1w1c1p0d0t0s10.lib
  # /ENV/PRJ/IP/Mars/final/sasrlsmh4l1p64x80m2b1w1c1p0d0t0s10/ttqu0p9v25c/sasrlsmh4l1p64x80m2b1w1c1p0d0t0s10.lib
  # /CORE/PRJ/IP/Artisan_28/tsmc_cln28hpm/pop_library/sc12mc_hpk_lvt_c31/latest/lib/sc12mc_cln28hpm_hpk_lvt_c31_tt_typical_max_0p90v_85c.lib, \

set_attribute library {                      \
  /CORE/PRJ/IP/Artisan_28/tsmc_cln28hpm/pop_library/sc12mc_base_lvt_c31/latest/lib/sc12mc_cln28hpm_base_lvt_c31_tt_typical_max_0p90v_85c.lib
  /CORE/PRJ/IP/Artisan_28/tsmc_cln28hpm/pop_library/sc12mc_hpk_lvt_c31/latest/lib/sc12mc_cln28hpm_hpk_lvt_c31_tt_typical_max_0p90v_85c.lib
  /CORE/PRJ/IP/Mars/final/sasrlsmh4s1p256x86m2b1w0c1p0d0t0s10/ttqu0p9v25c/sasrlsmh4s1p256x86m2b1w0c1p0d0t0s10.lib
  /CORE/PRJ/IP/Mars/final/sasrlsmh4s1p256x72m2b1w0c1p0d0t0s10/ttqu0p9v25c/sasrlsmh4s1p256x72m2b1w0c1p0d0t0s10.lib
  /CORE/PRJ/IP/Mars/final/sasrlsmh4s1p512x8m2b2w1c0p0d0t0s10/ttqu0p9v25c/sasrlsmh4s1p512x8m2b2w1c0p0d0t0s10.lib
  /CORE/PRJ/IP/Mars/final/sasrlsmh4s1p256x64m2b1w0c0p0d0t0s10/ttqu0p9v25c/sasrlsmh4s1p256x64m2b1w0c0p0d0t0s10.lib
  /CORE/PRJ/IP/Mars/final/sasrlsmh4s1p128x108m2b1w1c1p0d0t0s10/ttqu0p9v25c/sasrlsmh4s1p128x108m2b1w1c1p0d0t0s10.lib
  /CORE/PRJ/IP/Mars/final/sasrlsmh4s1p256x130m2b2w1c1p0d0t0s10/ttqu0p9v25c/sasrlsmh4s1p256x130m2b2w1c1p0d0t0s10.lib
  /CORE/PRJ/IP/Mars/final/sasrlsmh4s1p256x78m2b1w1c1p0d0t0s10/ttqu0p9v25c/sasrlsmh4s1p256x78m2b1w1c1p0d0t0s10.lib
  /CORE/PRJ/IP/Mars/final/sasrlsmh4s1p64x80m2b1w1c0p0d0t0s10/ttqu0p9v25c/sasrlsmh4s1p64x80m2b1w1c0p0d0t0s10.lib
}

read_hdl demo.v
elaborate
synthesize -to_mapped
write -mapped > demo.sv
